Combining Philosophers

All the ideas for Rayo,A/Uzquiasno,G, Hilbert,D/Ackermann,W and John Hick

expand these ideas     |    start again     |     specify just one area for these philosophers

---

10 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

4. Formal Logic / F. Set Theory ST / 1. Set Theory

13451

The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation

13452

Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

13449

We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]

13450

Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]

5. Theory of Logic / G. Quantification / 5. Second-Order Quantification

13453

Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]

19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning

13448

The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]

29. Religion / D. Religious Issues / 1. Religious Commitment / c. Religious Verification

1470	Belief in an afterlife may be unverifiable in this life, but it will be verifiable after death [Hick, by PG]

1471	It may be hard to verify that we have become immortal, but we could still then verify religious claims [Hick, by PG]

29. Religion / D. Religious Issues / 1. Religious Commitment / d. Religious Falsification

1469	Some things (e.g. a section of the expansion of PI) can be verified but not falsified [Hick, by PG]